A pedestrian simulation for hiking in the alps Christian Gloor, Dept. of Computer Science, ETH Zurich ¨ Laurent Mauron, Dept. of Computer Science, ETH Zurich ¨ Kai Nagel, Dept. of Computer Science, ETH Zurich

Source URL: www.strc.ch

• Scientific modeling
• Simulation
• Systems science
• Complex systems theory
• Academia
• Crowds
• Knowledge
• Models of computation
• Crowd simulation
• Agent-based model
• Traffic simulation
• Waypoint

V22: Theory of Computation Fall 2010 Syllabus What this course is about This course introduces the Theory of Computation, which is the study of

Source URL: ftp.cs.nyu.edu

CLASE 2005 Preliminary Version Constructing Induction Rules for Deductive Synthesis Proofs Alan Bundy† 1,2 Lucas Dixon† 3 Jeremy Gow‡ 4 Jacques Fleuriot† 5

Source URL: homepages.inf.ed.ac.uk

• Mathematics
• Mathematical logic
• Theoretical computer science
• Computability theory
• Theory of computation
• Recursion
• Type theory
• Structural induction
• Mathematical induction
• Rippling
• Nqthm
• Constructible universe

Computation Power of Randomization and Nondeterminism 2 Scientific Work

Source URL: www.ite.ethz.ch

• Complexity classes
• Computational complexity theory
• Finite automata
• Models of computation
• Analysis of algorithms
• Nondeterminism
• NL
• Randomized algorithm
• Automata theory
• Theory of computation
• Communication complexity
• NP

How to Catch L2 -Heavy-Hitters on Sliding Windows Vladimir Braverman1, Ran Gelles2 , and Rafail Ostrovsky3 1 Department of Computer Science, Johns Hopkins University, . Department of Computer Science, Univ

Source URL: arxiv.org

• Theory of computation
• Circuit complexity
• NC
• Best
• worst and average case
• Ogonek
• Theoretical computer science

Noninterference for Free ⇤ William J. Bowman Amal Ahmed Northeastern University, USA

Source URL: www.ccs.neu.edu

• Models of computation
• Type theory
• Formal methods
• Theory of computation
• Equivalence relation
• Monad
• Denotational semantics
• Parametricity
• Simply typed lambda calculus
• Modal logic
• Lambda calculus

score=

Source URL: www.strc.ch

• Transportation planning
• Scientific modeling
• Systems science
• Economy
• Artificial life
• Complex systems theory
• Models of computation
• Academia
• Agent-based model
• Traffic simulation
• Economic model
• Mode choice

J. Symbolic Computation, 235–265 The Magma Algebra System I: The User Language† WIEB BOSMA‡, JOHN CANNON§ AND CATHERINE PLAYOUST¶ Computational Algebra Group, School of Mathematics and Statistics, The

Source URL: www.math.ru.nl

• Algebra
• Mathematics
• Abstract algebra
• Universal algebra
• Mathematical structures
• Mathematical logic
• Algebraic structures
• Magma
• Sigma-algebra
• Structure
• F-algebra
• Model theory

ALIQUOT SEQUENCES WITH SMALL STARTING VALUES Wieb Bosma Abstract. We describe the results of the computation of aliquot sequences with small starting values. In particular all sequences with starting values less than a

Source URL: www.math.ru.nl

• Mathematics
• Integer sequences
• Number theory
• Divisor function
• Aliquot sequence
• Sequence
• Parity
• Perfect number
• 11
• Amicable numbers
• Prime number
• Pi

J. Symbolic Computation, 97–112 doi:jscoAvailable online at http://www.idealibrary.com on Class Number Relations from a Computational Point of View

Source URL: www.math.ru.nl

• Algebra
• Abstract algebra
• Group theory
• Mathematics
• Index of a subgroup
• Regular icosahedron
• Conjugacy class
• Group action
• Algebraic number field
• Coset
• Splitting of prime ideals in Galois extensions
• Polar coordinate system